H ? « ‹ ← → › »

Language peer sets for Modal Logic Programming:
Japan↑
Japan/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Modal Logic Programming(ID:6839/mod041)

alternate simple view
Country: Japan
Designed 1986

Modal extensions to Prolog
Related languages
Prolog → Modal Logic Programming   Extension of
References:
  • Akama, S. (1986) Akama, S. "A proposal of modal logic programming (extended abstract)" in Proc. of the 6th Canadian Conference on Artificial Intelligence, pp. 99-102, Ecole Fob/technique de Montreal, Montreal, Quebec, Canada, May 1986. Presses de PUniversite du Quebec.
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: Modal Logic Programming
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder